Logic programming - PDFSEARCH.IO - Document Search Engine

Logic programming
Results: 2694

#	Item
651	Advising students interested in Computers and Programming Both classes have no pre-reqs and assume no prior knowledge of programming. Any student may take them. CSCI 1101 Introduction to Computer Science Add to Reading List Source URL: www.bowdoindailysun.com Language: English - Date: 2015-04-10 09:00:32 Theoretical computer science Computer science Applied mathematics Mathematics Algorithm Mathematical logic
652	Constraints as Control Ali Sinan K¨oksal Viktor Kuncak Philippe Suter ∗ Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-11-14 09:20:17 Software engineering Constraint logic programming Constraint satisfaction problem Satisfiability Modulo Theories Backtracking Prolog Constraint Lambda calculus Constraint satisfaction Constraint programming Declarative programming Theoretical computer science
653	Unifying Operational Semantics with Algebraic Semantics for Instantaneous Reactions Chengcheng Wu Yongxin Zhao Add to Reading List Source URL: utp12.lri.fr Language: English - Date: 2012-08-27 15:08:44 Theoretical computer science Logic in computer science Deduction Operational semantics Algebraic semantics Calculus BL Soundness Denotational semantics Logic Programming language semantics Mathematical logic
654	Decoupling with (Domain-)Events SymfonyCon Warsaw Benjamin Eberlei (@beberlei) December 2013 Me Add to Reading List Source URL: qafoo.com Language: English - Date: 2015-05-27 05:02:09 Symfony Business logic Doctrine Motivation Software PHP programming language Software architecture
655	Unipycation: A Case Study in Cross-Language Tracing Edd Barrett Carl Friedrich Bolz Laurence Tratt Add to Reading List Source URL: soft-dev.org Language: English - Date: 2015-06-08 18:56:11 Prolog Logic programming PyPy Python List comprehension Append Computer program B-Prolog Visual Prolog Computing Software engineering Computer programming
656	Comingle: Distributed Logic Programming for Decentralized Android Applications Edmund S. L. Lam and Iliano Cervesato March 2015 CMU-CSCMU-CS-QTR-125 Add to Reading List Source URL: reports-archive.adm.cs.cmu.edu Language: English - Date: 2015-03-05 12:04:45 Logic in computer science Functional programming Monad Rewriting ALGOL 68 Software engineering Programming language theory Computing
657	Weak Dynamic Programming for Generalized State Constraints ∗ Bruno Bouchard Add to Reading List Source URL: www.math.columbia.edu Language: English - Date: 2012-10-19 17:18:24 Deduction Operations research Entailment Logical consequence Metalogic Random variable Dynamic programming Monotone convergence theorem Logic Mathematical analysis Mathematics
658	Computer-Assisted Construction of Efficient Concurrent Algorithms Martin Vechev, Eran Yahav, Maged Michael, Hagit Attiya, Greta Yorsh Practical and efficient concurrent systems are notoriously hard to design, implement, Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2008-04-08 00:54:02 Concurrency Theoretical computer science Computer programming Algorithm Mathematical logic Non-blocking algorithm Linearizability Concurrent data structure Actor model Computing Concurrency control Concurrent computing
659	Comfusy: A Tool for Complete Functional Synthesis Tool Presentation Viktor Kuncak, Mika¨el Mayer, Ruzica Piskac, Philippe Suter? Swiss Federal Institute of Technology (EPFL), Switzerland Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2010-05-11 07:07:53 Logic in computer science Formal methods Constraint programming Electronic design automation NP-complete problems Satisfiability Modulo Theories Algorithm Presburger arithmetic Function Mathematics Theoretical computer science Mathematical logic
660	Kinematic Analysis of a Space Mechanism—Rendezvous Simulator Add to Reading List Source URL: www.abhinavjournal.com Language: English - Date: 2014-01-30 00:13:10 Artificial intelligence Logic in computer science Control engineering Lotfi A. Zadeh Fuzzy control system Many-valued logic Control system Degree of truth Logic programming Logic Fuzzy logic Science

UPDATE